Professor of Computer Science
(PhD, HDR)


Université Grenoble Alpes

CONVECS, LIG, Inria Grenoble


Mail address

Inria Grenoble - Rhône-Alpes / CONVECS
655 Avenue de l'Europe
38330 Montbonnot Saint-Martin
France

Email

Gwen.Salaun '@' inria.fr

Teaching activities

Software engineering, programming (functional, imperative, object-oriented), algorithmics, Web development, language and concurrency theory, process engineering.

more

Research interests

Formal methods, specification languages, automated verification, concurrent systems, component/service-based systems, software engineering.

more

Current committees

SEAMS'22, FORMALISE'22, COMPSAC'22 (SETA), ENASE'22, ICSOFT'22, SEFM'22, FACS'22, FASE'23.

Bio

Gwen Salaün received a PhD degree in Computer Science from the University of Nantes (France) in 2003. In 2003-2004, he held a post-doctoral position at the University of Rome "La Sapienza" (Italy). In 2004-2006, he held a second post-doctoral position at Inria (Grenoble, France). In 2006-2009, he was research associate at the University of Malaga (Spain). He was associate professor at Ensimag / Grenoble INP (France) from 2009 to 2016. He is currently full professor at Université Grenoble Alpes.